Reliability consideration on error control policies for a data communication system
نویسندگان
چکیده
منابع مشابه
Reliability consideration of a mobile communication system with network congestion
K e y w o r d s M o b i l e communication, Network congestion, Recovery schemes, Reliability, Checkpoint interval. 1. I N T R O D U C T I O N High qua l i ty traff ic for ne tworks is r equ i r ed for mobi le c o m m u n i c a t i o n s y s t ems . Mobi le s t a t i o n s f r equen t ly b e c o m e unava i lab le due to c o m m u n i c a t i o n e r rors g e n e r a t e d by n e t w o r k conge...
متن کاملفرآیند کنترل در سیستم کامپیوتری تهویه مطبوع airwasher environmental control system for intelligent buildings
در این پایان نامه با استفاده از تکنولوژی روز و امکانات داخل کشور طریقه اتوماسیون سیستم تاسیساتی یک کارخانه نساجی (کارخانه نساجی اطلس پود) همراه با منوهای مربوطه و توضیحات کامل برنامه نویسی و طراحی بلوک های برنامه و سایر قسمتهای برنامه ارائه گشته است. علاوه بر این، برنامه با نمونه آمریکایی آن مقایسه و مزیت های آن نسبت به آمریکایی توضیح داده شده است. همچنین تمامی بلوک های برنامه بصورت شماتیکی بطو...
15 صفحه اولA Logical Framework for Reasoning on Data Access Control Policies
In this paper we propose a logic formalism that naturally supports the encoding of complex security specifications. This formalism relies on a hierarchically structured domain made of subjects, objects and privileges. Authorizations are expressed by logic rules. The formalism supports both negation by failure (possibly unstratified) and true negation. The latter is used to express negative auth...
متن کاملa new approach to credibility premium for zero-inflated poisson models for panel data
هدف اصلی از این تحقیق به دست آوردن و مقایسه حق بیمه باورمندی در مدل های شمارشی گزارش نشده برای داده های طولی می باشد. در این تحقیق حق بیمه های پبش گویی بر اساس توابع ضرر مربع خطا و نمایی محاسبه شده و با هم مقایسه می شود. تمایل به گرفتن پاداش و جایزه یکی از دلایل مهم برای گزارش ندادن تصادفات می باشد و افراد برای استفاده از تخفیف اغلب از گزارش تصادفات با هزینه پائین خودداری می کنند، در این تحقیق ...
15 صفحه اولReliability Enhancement Strategies for Wireless Communication System
This paper presents the development of a wireless communication system, the Long Range Identification Tag, built and tested in Heriot Watt University. The design commences in Spin, a high level model checking tool optimized for the verification of distributed systems. The abstract software model is synthesized automatically to HDL (Verilog/VHDL) and subsequently downloaded to the targeted FPGA ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Computers & Mathematics with Applications
سال: 1992
ISSN: 0898-1221
DOI: 10.1016/0898-1221(92)90227-9